tautology rule
英 [tɔːˈtɒlədʒi ruːl]
美 [tɔːˈtɑːlədʒi ruːl]
网络 重言式规则
双语例句
- It is able to change the law of excluded middle into all kinds of tautology through applications of the rule of equivalent replacement, and to prove all the inner theorems of propositional logic.
在此基础上给出一机器能行算法，把排中律等值置换成任一重言式，证明任一命题逻辑内定理。